existential operator

Explore definitions, synonyms, and language insights of existential operator

Definitions

Noun
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true